- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Donald L. Kreider
10 found
Order:
- [Omnibus Review].Donald L. Kreider - 1960 - Journal of Symbolic Logic 25 (4):356-359.
- J. C. E. Dekker and J. Myhill. Recursive equivalence types. University of California publications in mathematics, n.s. vol. 3 no. 3 , pp. 67–214. - J. C. E. Dekker. Congruences in isols with a finite modulus. Mathematische Zeitschrift, vol. 70 , pp. 113–124. - J. Myhill. Recursive equivalence types and combinatorial functions. Bulletin of the American Mathematical Society, vol. 64 , pp. 373–376. - J. C. E. Dekker. The factorial function for isols. Mathematische Zeitschrift, vol. 70 , pp. 250–262. - J. C. E. Dekker and J. Myhill. The divisibility of isols by powers of primes. Mathematische Zeitschrift, vol. 73 . pp. 127–133. - J. C. E. Dekker. An expository account of isols. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 189–200. [REVIEW]Donald L. Kreider - 1960 - Journal of Symbolic Logic 25 (4):356-359.
- Gerald E. Sacks. Recursive enumerability and the jump operator. Transactions of the American Mathematical Society, vol. 108 , pp. 223–239. [REVIEW]Donald L. Kreider - 1964 - Journal of Symbolic Logic 29 (4):204.
- J. W. Addison. Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 , pp. 123–135. - J. W. Addison. The theory of hierarchies. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 26–37. - J. W. Addison. Some problems in hierarchy theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 123–130. [REVIEW]Donald L. Kreider - 1964 - Journal of Symbolic Logic 29 (1):60-62.
- Kleene S. C.. Realizability. Constructivity In mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A.. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 285–289.Kleene S. C.. Realizability. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 100–104. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):242-243.
- Kleene Stephen C.. Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences. Logique et analyse , n.s. vol. 3 , pp. 154–165. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):243-244.
- Kleene S. C.. Countable functionals. Constructivity in mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 81–100.Kleene S. C.. Recursive functionals of higher finite types. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton 1960, pp. 148–154. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (3):359-360.
- Review: J. W. Addison, Separation Principles in the Hierarchies of Classical and Effective Descriptive Set Theory; J. W. Addison, The Theory of Hierarchies; J. W. Addison, Some Problems in Hierarchy Theory. [REVIEW]Donald L. Kreider - 1964 - Journal of Symbolic Logic 29 (1):60-62.
- Review: S. C. Kleene, Countable Functionals; S. C. Kleene, Recursive Functionals of Higher Finite Types. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (3):359-360.
- Review: S. C. Kleene, Realizability; S. C. Kleene, Realizability. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):242-243.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-ldh8k uwo